Les fondements de l'arithmétique stochastique = The basis of stochastic arithmeticCHESNEAUX, J.-M; VIGNES, J.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1992, Vol 315, Num 13, pp 1435-1440, issn 0764-4442Article

Finitary consistency of a free arithmeticBENCIVENGA, E.Notre Dame journal of formal logic. 1984, Vol 25, Num 3, pp 224-226, issn 0029-4527Article

Définissabilité de l'arithmétique par successeur, coprimarité et puissance = Arithmetical definability from successor, coprimeness and powerRICHARD, D.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1985, Vol 300, Num 13, pp 415-418, issn 0764-4442Article

Comments on «the prime memory systems for array access»MENG-HEE TENG.IEEE transactions on computers. 1983, Vol 32, Num 11, issn 0018-9340, 1072Article

Proceedings/ 6th Symposium on computer arithmetic, Aahrus, Denmark, June 20-22, 1983Symposium on computer arithmetic. 6. 1983, 232 p., isbn 0-8186-0034-9Conference Proceedings

On higher order centered formsALEFELD, G; LOHNER, R.Computing (Wien. Print). 1985, Vol 35, Num 2, pp 177-184, issn 0010-485XArticle

High-speed normalization and rounding circuits for pipelined floating-point processorsCHANG, T. L; FISHER, P. D.IEEE transactions on acoustics, speech, and signal processing. 1983, Vol 31, Num 6, pp 1403-1416, issn 0096-3518Article

Towards optimal use of multi-precision arithmetic : A remarkKREINOVICH, Vladik; RUMP, Siegfried.Reliable computing. 2006, Vol 12, Num 5, pp 365-369, issn 1385-3139, 5 p.Article

On the k-th root in circular arithmeticPETKOVIC, L; PETKOVIC, M.Computing (Wien. Print). 1984, Vol 33, Num 1, pp 27-35, issn 0010-485XArticle

On the possibilities of the BCD code application in the floating-point arithmetic algorithmsMARIC, I; CUCANČIC, L.International journal of mini & microcomputers. 1983, Vol 5, Num 2, pp 19-22, issn 0702-0481Article

THE SIGN/LOGARITHM NUMBER SYSTEM.SWARTZLANDER EE JR; ALEXOPOULOS AG.1975; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1975; VOL. 24; NO 12; PP. 1238-1242; BIBL. 10 REF.Article

Some inequalities for elementary mean valuesMEYER, B.Mathematics of computation. 1984, Vol 42, Num 165, pp 193-194, issn 0025-5718Article

IEEE Symposium on Computer ArithmeticIEEE transactions on computers. 1998, Vol 47, Num 7, pp 721-786, issn 0018-9340Conference Proceedings

CORDIC vectoring with arbitrary target valueLANG, T; ANTELO, E.IEEE transactions on computers. 1998, Vol 47, Num 7, pp 736-749, issn 0018-9340Conference Paper

A radix-4 FFT using complex RNS arithmeticTAYLOR, F. J; PAPADOURAKIS, G; SKAVANTZOS, A et al.IEEE transactions on computers. 1985, Vol 34, Num 6, pp 573-576, issn 0018-9340Article

Division algorithms and implementationsOBERMAN, S. F; FLYNN, M. J.IEEE transactions on computers. 1997, Vol 46, Num 8, pp 833-854, issn 0018-9340Article

On the proofs of arithmetical completeness for interpretability logicZAMBELLA, D.Notre Dame journal of formal logic. 1992, Vol 33, Num 4, pp 542-551, issn 0029-4527Article

Computing a required absolute precision from a stream of linear fractional transformationsKRZNARIC, Marko.Lecture notes in computer science. 2001, pp 169-186, issn 0302-9743, isbn 3-540-42197-1Conference Paper

An RNS montgomery modular multiplication algorithmBAJARD, J.-C; DIDIER, L.-S; KORNERUP, P et al.IEEE transactions on computers. 1998, Vol 47, Num 7, pp 766-776, issn 0018-9340Conference Paper

Lazy arithmeticMICHELUCCI, D; MOREAU, J.-M.IEEE transactions on computers. 1997, Vol 46, Num 9, pp 961-975, issn 0018-9340Article

Division-and-accumulation over GF(2^m)HASAN, M. A.IEEE transactions on computers. 1997, Vol 46, Num 6, pp 705-708, issn 0018-9340Conference Paper

Über ein Iterationsverfahren zur Einschliessung der inversen Matrix = Méthode d'itération pour l'inclusion de la matrice inverse = On an iteration method for the inclusion of the inverse matrixHERZBERGER, J.Computing (Wien. Print). 1985, Vol 35, Num 2, pp 185-188, issn 0010-485XArticle

Fragments of arithmeticSIEG, W.Annals of pure and applied logic. 1985, Vol 28, Num 1, pp 33-71, issn 0168-0072Article

Near-perfect codes for binary-coded radix-r arithmetic unitsGAITANIS, N; HALATSIS, C.IEEE transactions on computers. 1983, Vol 32, Num 5, pp 494-497, issn 0018-9340Article

Instruction sets for evaluating arithmetic expressionsCOFFMAN, E. G. JR; RAVISETHI.Journal of the Association for Computing Machinery. 1983, Vol 30, Num 3, pp 457-478, issn 0004-5411Article